proof of sum of arithmetic progression